perm filename CARLST.CON[W76,JMC] blob sn#196450 filedate 1976-01-09 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1. more milestones whose accomplishment can be checked.
C00003 ENDMK
CāŠ—;
1. more milestones whose accomplishment can be checked.

2. Why not wipe out LISP - Heilmeier would like to know.
comparison of programming languages.

3. I repromised sciam level article on proof-checking,but there
was no great demand.

4. They think TS standards are impractical.

5. Why not do program understanding in COBOL or concerning COBOL
programs.